581. Planetary spacecraft navigation /
المؤلف: James Miller.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Astronautics.,Navigation (Astronautics),Space vehicles-- Control systems.,Aerospace Technology and Astronautics.,Mathematical Applications in Computer Science.,Software Engineering/Programming and Operating Systems.,Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics).,Aerospace & aviation technology.,Astronautics.,Astronautics.,Computers-- Software Development & Engineering-- General.,Mathematics-- Applied.,Navigation (Astronautics),Science-- Astrophysics & Space Science.,Space vehicles-- Control systems.,Technology & Engineering-- Aeronautics & Astronautics.
رده :
TL1065
.
M55
2019
582. Practical augmented Lagrangian methods for constrained optimization
المؤلف: / nezک Mario MartفErnesto G. Birgin, Jos
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
583. Practical data analysis with JMP /
المؤلف: Robert Carver.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: JMP (Computer file),JMP (Computer file),JMP (Computer file),Mathematical statistics-- Data processing.,Mathematical statistics-- Graphic methods.,Statistics-- Graphic methods.,Data Interpretation, Statistical.,Mathematics-- methods.,Software.,Mathematical statistics-- Data processing.,Mathematical statistics-- Data processing.,Mathematical statistics-- Graphic methods.,Mathematical statistics-- Graphic methods.,Mathematical Statistics.,MATHEMATICS-- Probability & Statistics-- General.,Mathematics.,Physical Sciences & Mathematics.,Statistics-- Graphic methods.,Statistics-- Graphic methods.
رده :
QA276
.
3
.
C378
2010eb
584. Practical foundations of business system specifications
المؤلف: edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business -- Data processing.,Computer software -- Development.,Software engineering.
585. Practical guide to finite elements :
المؤلف: Steven M. Lepi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Finite element method.,ANALYSIS (MATHEMATICS),Finite element method.,FINITE ELEMENT METHOD.,Finite-Elemente-Methode,MECHANICAL ENGINEERING.
رده :
TA347
.
F5
L44
1998
586. Practical reliability engineering /
المؤلف: Patrick P. O'Connor and Andre Kleyner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Reliability (Engineering)
587. Practical three-way calibration /
المؤلف: Alejandro Olivieri and Graciela M. Escandar, Rosario Institute of Chemistry (IQUIR-CONICET), Department of Analytical Chemistry, Faculty of Biochemcial and Pharmaceutical Sciences, National University of Rosario, Suipacha 531, Rosario (2000), Argentina
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Calibration,Chemometrics
رده :
QD75
.
4
.
C45
O45
2014
588. Principles of distributed systems :
المؤلف: Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
O66
2011
589. Probabilistic safety assessment in the chemical and nuclear industries /
المؤلف: Ralph R. Fullwood.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Chemical plants-- Risk assessment.,Nuclear power plants-- Risk assessment.,Chemical plants-- Risk assessment.,HEALTH & FITNESS-- Safety.,Nuclear power plants-- Risk assessment.
رده :
TK9153
.
F853
2000eb
590. Problems and methodologies in mathematical software production; International Seminar held at Sorrento, Italy, November 3-8, 1980
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
I521
1980
591. 23, 2011. Proceedings-Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18
المؤلف: / Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
592. 23, 2010. Proceedings-bec City, Canada, June 21شMathematics of Program Construction: 10th International Conference, MPC 2010, Qu
المؤلف: / chir Ktari (eds.)فo F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, BعRoland Backhouse, Wei Chen, Jo
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
593. Proceedings of HCI '96
المؤلف: M.A. Sasse ... (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Kongress,Mensch-Maschine-Kommunikation
رده :
QA86
.
9
.
H85
M373
1996
594. Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) :
المؤلف: editors, Liew-Kee Kor [and 3 others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems, Congresses.,Mathematics, Congresses.,Statistics, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematics.,Statistics.
رده :
QA76
.
24
595. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
المؤلف: Yuhang Yang, Maode Ma, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
596. Production frontiers /
المؤلف: Rolf Färe, Shawna Grosskopf, C.A. Knox Lovell.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Industrial efficiency.,Production possibility curve.,Courbe des possibilités de production.,Efficience dans l'industrie.,Efficience dans l'industrie.,Efficiëntie.,Industrial efficiency.,Productie.,Production possibility curve.,Productivité-- Évaluation.
رده :
HB241
.
F336
1994
597. Program verification :
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA76
.
76
.
V47
P764
2013
598. Programmieren mit Maple V
المؤلف: Waterloo Maple Inc.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer science.,Maple V
599. Programming Projects in C for Students of Engineering, Science, and Mathematics
المؤلف: / Rouben Rostamian
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
600. Programming with Turing and Object Oriented Turing /
المؤلف: by Peter Grogono.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer science.
رده :
QA76
.
7-76
.
73
